noinst_LTLIBRARIES = libegraph.la

AM_CPPFLAGS=$(config_includedirs) 

libegraph_la_SOURCES = EgraphSolver.C EgraphStore.C Enode.C SigTab.C 
include_HEADERS = Egraph.h Enode.h SigTab.h EnodeTypes.h
